perm filename COMMON.MEN[ESS,JMC] blob sn#196429 filedate 1976-01-11 generic text, type T, neo UTF8
00100	TOWARDS A SCIENCE OF COMMON SENSE
00200	
00300	
00400		What  are  the facts about the world that everyone knows, and
00500	what are the modes of reasoning about the world that everyone accepts
00600	and  can  follow?    The  answers to these questions are essential to
00700	both artifical intelligence (henceforth to  be  abbreviated  AI)  and
00800	philosophy.    For  AI  at  least, the answers must be expressed in a
00900	formal logical language so that  computer  programs  can  verify  and
01000	eventually  construct  chains  of common sense reasoning.  I believe,
01100	and will later argue, that this is also a requirement for  philosophy
01200	to advance.
01300